Specification of Timed EFSM Fault Models in SDL

机译：sDL中定时EFsm故障模型的规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
S. S. Batth; E. R. Vieira; A. Cavalli; M. Ü. Uyar;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Fault Masking By Multiple Timing Faults In Timed Efsm Models [J] . Y. Wang, M.UE. Uyar, S.S. Batth, Computer networks . 2009,第5期

机译：定时Efsm模型中的多个定时故障掩盖故障
2. Validation of SDL specifications using EFSM-based test generation [J] . W. Eric Wong, Andy Restrepo, Byoungju Choi Information and software technology . 2009,第11期

机译：使用基于EFSM的测试生成来验证SDL规范
3. Test Generation for a Protocol Specified in SDL with Complex Loops by Event-based EFSM Modeling [J] . Tae-Hyong Kim International journal of computer science and network security . 2008,第3期

机译：通过基于事件的EFSM建模为带有复杂循环的SDL中指定的协议生成测试
4. Specification of Timed EFSM Fault Models in SDL [C] . S.S. Batth, E.R. Vieira, A. Cavalli, IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems . 2007

机译：SDL中定时EFSM故障模型规范
5. Automatic generation of SDL specifications from timed MSCs. [D] . Zhang, Xiao Jun. 2004

机译：从定时MSC自动生成SDL规范。
6. Average Accumulative Based Time Variant Model for Early Diagnosis and Prognosis of Slowly Varying Faults [O] . Funa Zhou, Ju H. Park, Chenglin Wen, 2018

机译：基于平均累积的时变模型对缓慢变化的故障进行早期诊断和预测
7. Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers [O] . Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale 2003

机译：面向测试SDL规范：并发计时器的模型和故障范围
8. Formal Model for SDL Specifications Based on Timed Rewriting Logic [R] . Steggles, L. J., Kosiuczenko, P. 1998

机译：基于定时重写逻辑的sDL规范形式化模型

Specification of Timed EFSM Fault Models in SDL

著录项

引文网络

相似文献

相关主题

期刊订阅